2041. Understanding Wittgenstein's Tractatus
پدیدآورنده : Frascolla, Pasquale, 2591-
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : Tractatus logico-philosophicus ، Wittgenstein, Ludwig,9881-1591,، Logic, Symbolic and mathematical.,Philosophy ، Language and languages,، Metaphysics,91th Century ، Philosophy, Austrian
رده :
B
3376
.
W563T7
2006
2042. Understanding Wittgenstein's Tractatus
پدیدآورنده : Frascolla, Pasquale
کتابخانه: Special Library of University of Religions (Qom)
موضوع : ، Wittgenstein, Ludwig,9881-1591.Tractatus logico-philosophicus,، Logic, Symbolic and mathematical,Philosophy ، Language and languages,، Metaphysics
رده :
B
3376
.
W563
.
T7332
2007
2043. Understanding mathematical proof /
پدیدآورنده : John Taylor, Rowan Garnier
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Proof theory
2044. Understanding symbolic logic
پدیدآورنده : Virginia Klenk
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Logic, Symbolic and mathematical
رده :
BC
،
135
،.
K53
،
1989
2045. Understanding symbolic logic
پدیدآورنده : / Virginia Klenk
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : منطق ریاضی,Logic, Symbolic and mathematical
رده :
BC135
.
K53
2046. Visualization, Explanation and Reasoning Styles in Mathematics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mathematics. ; Science ; Philosophy. ; Visualization. ; Mathematics_$xHistory. ; Logic, Symbolic and mathematical. ; Mathematics. ; Mathematics, general. ; Visualization. ; History of Mathematics. ; Mathematical Logic and Foundations. ; Philosophy of Scie
2047. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده : edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: Library of Mofid University (Qom)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Visualization
رده :
QA8
.
6
.
V57
2005
2048. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده : / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
QA8
.
6
.
V57
2005
2049. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده : / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
QA8
.
6
.
V57
2005
2050. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده : / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
QA8
.
6
.
V57
2005
2051. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده : / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
E-BOOK
2052. Visualization, explanation and reasoning styles in mathematics ]electronic resources[
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Visualization
رده :
QA
8
.
6
.
V57
2005
2053. Vivid logic :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Expert systems (Computer science) ; Logic, Symbolic and mathematical. ;
2054. Vivid logic : knowledge-based reasoning with two kinds of negation
پدیدآورنده : Wagner, Gerd, 7591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
764
2055. Vollstandige Systeme modaler und intuitionistischer Logik
پدیدآورنده : Schutte, Kurt
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
S3793
2056. Vollstandige systeme modaler und intuitioni tischor logik
پدیدآورنده : Schutte, Kurt
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Model theory,، Logic symbolic and mathematical
رده :
QA
9
.
7
.
S39V6
2057. Vollstandige systeme modaler und intuitionistischer Logik
پدیدآورنده : Schutte, Kurt
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
S46
1968
2058. Waht is mathematical logic ?
پدیدآورنده : / J. N. Crossley ... [et al.]
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Logic, symbolic and mathematical
رده :
511
.
3
Wh
2059. What Logics Mean
پدیدآورنده : / James W. Garson
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic,Semantics,Logic, Symbolic and mathematical,منطق,معنی شناسی,منطق ریاضی
رده :
BC71
.
G37
2013
2060. What is a logical system?
پدیدآورنده : edited by D.M. Gabbay
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Computer science
رده :
QA
9
.
2
.
W48
1994
